Process calculus - PDFSEARCH.IO - Document Search Engine

Process calculus
Results: 249

#	Item
151	Stochastic Calculus for Finance, AME, MT 1998, Problems 1 Stochastic Calculus for Finance Michaelmas Term 1998: Problems for solution Add to Reading List Source URL: www-stat.wharton.upenn.edu Language: English - Date: 2010-12-11 08:07:57 Wiener process Risk-neutral measure Black–Scholes Brownian motion Quadratic variation Martingale Ornstein–Uhlenbeck process Stochastic calculus Martingale representation theorem Statistics Stochastic processes Probability theory
152	Sensoria[removed]Software Engineering for Service-Oriented Overlay Computers D3.b: Challenging Analysis Scenarios and Language Add to Reading List Source URL: www.pst.ifi.lmu.de Language: English - Date: 2007-12-03 07:22:37 Process calculus Communications protocol Actor model Scenario Analysis Computing Data Information
153	Stochastic Calculus of Heston’s Stochastic–Volatility Model Floyd B. Hansona Department of Mathematics, Statistics, and Computer Science University of Illinois at Chicago Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2010-06-09 08:37:44 Stochastic volatility Geometric Brownian motion Volatility Heston model Stochastic calculus Wiener process Brownian motion Fokker–Planck equation Heston Statistics Stochastic processes Mathematical finance
154	Carl Adam Petri and "Petri Nets" Wilfried Brauer, Wolfgang Reisig Scientific tradition frequently names a fundamental notion, insight, or theory after its explorer or eminent representative. Typical examples include "Ab Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-05-09 04:57:23 Carl Adam Petri Computer science Science Petri Model checking Process calculus Parallel computing CPN-AMI Concurrency Petri nets Formal methods
155	Log-Lin. Approx. and Sln. DND Overview of the Process Add to Reading List Source URL: www.szgerzensee.ch Language: English - Date: 2014-05-16 09:36:48 Differential calculus Linearization Logarithm Derivative Differential equation Nonlinear system Mathematical analysis Mathematics Dynamical systems
156	Where did I go wrong? Explaining errors in business process models Niels Lohmann Universität Rostock, Institut für Informatik, 18051 Rostock, Germany [removed] Abstract. Business process modeling is Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-03-27 03:32:37 Petri net Management Formal methods Model checking Workflow Process calculus Science TAPAAL Model Checker Concurrency Models of computation Diagrams
157	Langevin description of markovian integro-differential master equations Add to Reading List Source URL: www.physik.uni-augsburg.de Language: English - Date: 2006-07-07 04:51:43 Stochastic calculus Equations Statistical mechanics Stochastic differential equation Langevin equation Poisson process Fokker–Planck equation Differential equation Stratonovich integral Statistics Stochastic processes Mathematical analysis
158	Capability-based Financial Instruments 1 Mark S. Miller , Chip Morningstar2, Bill Frantz2 1 Add to Reading List Source URL: erights.org Language: English - Date: 2004-05-18 05:27:32 Data types Cryptographic protocols Inter-process communication Models of computation Smalltalk Lambda calculus Variable Alice and Bob Secure multi-party computation Computing Software engineering Computer programming
159	Component-Oriented Verification of Noninterference Alessandro Aldini Marco Bernardo Dipartimento di Matematica, Informatica, Fisica e Chimica – Universit` Add to Reading List Source URL: www.sti.uniurb.it Language: English - Date: 2011-03-14 09:41:01 Process calculus Abstraction Computing Computer science Logic in computer science Formal verification Theoretical computer science
160	Jerry Knoelke’s New Book Defines Math-problem-solving Process ‘Math Is Not Mystical’ teaches five-step process for solving math problems, from algebra through calculus. INNSBROOK, Mo. (PRWEB) May 23, [removed]Author Add to Reading List Source URL: www.prweb.com Language: English - Date: 2014-05-23 00:00:40 Classical logic Propositional calculus Mathematical logic Logic Boolean algebra

UPDATE